منابع مشابه
Online Assessment of Programming Exercises
In our opinion programming can only be learned by reading and, first of all, writing programs [5]. It is our educational objective to advice the student to write programs and not only to learn the syntax. Programming exercises thus should be assessed by looking into the source code and documentation of the student’s solution. Their quality is essential. Hence we disagree with the approaches tha...
متن کاملAutomated Exercises for Constraint Programming
We describe the design, implementation, and empirical evaluation of some automated exercises that we are using in a lecture on Constraint Programming. Topics are propositional satisfiability, resolution, the DPLL algorithm, with extension to DPLL(T), and FD solving with arc consistency. The automation consists of a program for grading student answers, and in most cases also a program for genera...
متن کاملMPRI course 2-4-2 “Functional programming languages” Answers to the exercises
class Closure { abstract Object apply(Object arg); Object apply2(Object arg1, Object arg2) { return ((Closure)(apply(arg1))).apply(arg2); } } abstract class Closure2 extends Closure { Object apply(Object arg) { return new PartialApplication(this, arg); } abstract Object apply2(Object arg1, Object arg2); } class PartialApplication extends Closure { Closure2 fn; Object arg1; PartialApplication(Cl...
متن کاملSome "Secure Programming" Exercises for an Introductory Programming Class
Ideally, computer security should be an integral part of all programming courses. Beginning programming classes pose a particular challenge, because the students are learning basic concepts of programming. Thus, teaching them about buffer overflows as security problems, requiring an explanation of concepts such as ―smashing the stack,‖ will confuse students more than motivate them to check arra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1983
ISSN: 0167-6423
DOI: 10.1016/0167-6423(83)90023-0